; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = zext i64 %"SymVar_0" to i128
  %".5" = zext i64 0 to i128
  %".6" = shl i128 %".5", 64
  %".7" = or i128 %".4", %".6"
  %".8" = zext i8 7 to i64
  %".9" = zext i8 0 to i64
  %".10" = shl i64 %".9", 8
  %".11" = or i64 %".8", %".10"
  %".12" = zext i8 0 to i64
  %".13" = shl i64 %".12", 16
  %".14" = or i64 %".11", %".13"
  %".15" = zext i8 0 to i64
  %".16" = shl i64 %".15", 24
  %".17" = or i64 %".14", %".16"
  %".18" = zext i8 0 to i64
  %".19" = shl i64 %".18", 32
  %".20" = or i64 %".17", %".19"
  %".21" = zext i8 0 to i64
  %".22" = shl i64 %".21", 40
  %".23" = or i64 %".20", %".22"
  %".24" = zext i8 0 to i64
  %".25" = shl i64 %".24", 48
  %".26" = or i64 %".23", %".25"
  %".27" = zext i8 0 to i64
  %".28" = shl i64 %".27", 56
  %".29" = or i64 %".26", %".28"
  %".30" = zext i64 %".29" to i128
  %".31" = udiv i128 %".7", %".30"
  %".32" = trunc i128 %".31" to i64
  %".33" = zext i8 49 to i64
  %".34" = and i64 %".33", 63
  %".35" = lshr i64 %".32", %".34"
  %".36" = zext i8 15 to i64
  %".37" = and i64 %".36", 63
  %".38" = shl i64 %".32", %".37"
  %".39" = and i64 %".35", %".38"
  %".40" = xor i64 %".39", -1
  %".41" = mul i64 %".35", 1
  %".42" = add i64 %".38", %".41"
  %".43" = add i64 0, %".42"
  %".44" = add i64 %".40", %".43"
  %".45" = add i64 %".44", 1
  %".46" = xor i64 %"SymVar_0", -1
  %".47" = and i64 539932380, %"SymVar_0"
  %".48" = add i64 %".47", %".47"
  %".49" = xor i64 %"SymVar_0", 539932380
  %".50" = add i64 %".48", %".49"
  %".51" = or i64 %".46", %".50"
  %".52" = add i64 %"SymVar_0", %".51"
  %".53" = add i64 %".52", 1
  %".54" = and i64 %".45", %".53"
  %".55" = add i64 %".54", %".54"
  %".56" = xor i64 %".53", %".45"
  %".57" = add i64 %".55", %".56"
  %".58" = and i64 19032618, %"SymVar_0"
  %".59" = add i64 %".58", %".58"
  %".60" = xor i64 %"SymVar_0", 19032618
  %".61" = add i64 %".59", %".60"
  %".62" = xor i64 %".57", %".61"
  %".63" = xor i64 %".57", -1
  %".64" = and i64 %".61", %".63"
  %".65" = xor i64 %".57", -1
  %".66" = and i64 %".65", %".61"
  %".67" = add i64 %".64", %".66"
  %".68" = sub i64 %".62", %".67"
  %".69" = zext i8 1 to i64
  %".70" = and i64 %".69", 63
  %".71" = lshr i64 %".32", %".70"
  %".72" = xor i64 %".71", -1
  %".73" = or i64 %".72", 7
  %".74" = add i64 %".71", %".73"
  %".75" = add i64 %".74", 1
  %".76" = and i64 1, %".75"
  %".77" = xor i64 %".76", -1
  %".78" = mul i64 1, 1
  %".79" = add i64 %".75", %".78"
  %".80" = add i64 0, %".79"
  %".81" = add i64 %".77", %".80"
  %".82" = add i64 %".81", 1
  %".83" = trunc i64 %".82" to i32
  %".84" = zext i32 %".83" to i64
  %".85" = trunc i64 %".84" to i8
  %".86" = zext i8 %".85" to i64
  %".87" = and i64 %".86", 63
  %".88" = lshr i64 %".50", %".87"
  %".89" = sub i64 %".68", %".88"
  %".90" = xor i64 %".68", -1
  %".91" = or i64 %".90", %".88"
  %".92" = and i64 %".89", %".91"
  %".93" = xor i64 %".68", -1
  %".94" = and i64 %".93", %".88"
  %".95" = or i64 %".92", %".94"
  %".96" = and i64 63, 63
  %".97" = lshr i64 %".95", %".96"
  %".98" = trunc i64 %".97" to i32
  %".99" = zext i32 %".98" to i64
  %".100" = trunc i64 %".99" to i32
  %".101" = trunc i64 %".99" to i32
  %".102" = and i32 %".100", %".101"
  %".103" = icmp eq i32 %".102", 0
  br i1 %".103", label %".3.if", label %".3.else"
.3.if:
  br label %".3.endif"
.3.else:
  br label %".3.endif"
.3.endif:
  %".107" = phi i1 [1, %".3.if"], [0, %".3.else"]
  %".108" = icmp eq i1 %".107", 1
  br i1 %".108", label %".3.endif.if", label %".3.endif.else"
.3.endif.if:
  br label %".3.endif.endif"
.3.endif.else:
  br label %".3.endif.endif"
.3.endif.endif:
  %".112" = phi i1 [1, %".3.endif.if"], [0, %".3.endif.else"]
  br i1 %".112", label %".3.endif.endif.if", label %".3.endif.endif.else"
.3.endif.endif.if:
  %".114" = zext i64 %"SymVar_0" to i128
  %".115" = zext i64 0 to i128
  %".116" = shl i128 %".115", 64
  %".117" = or i128 %".114", %".116"
  %".118" = zext i8 7 to i64
  %".119" = zext i8 0 to i64
  %".120" = shl i64 %".119", 8
  %".121" = or i64 %".118", %".120"
  %".122" = zext i8 0 to i64
  %".123" = shl i64 %".122", 16
  %".124" = or i64 %".121", %".123"
  %".125" = zext i8 0 to i64
  %".126" = shl i64 %".125", 24
  %".127" = or i64 %".124", %".126"
  %".128" = zext i8 0 to i64
  %".129" = shl i64 %".128", 32
  %".130" = or i64 %".127", %".129"
  %".131" = zext i8 0 to i64
  %".132" = shl i64 %".131", 40
  %".133" = or i64 %".130", %".132"
  %".134" = zext i8 0 to i64
  %".135" = shl i64 %".134", 48
  %".136" = or i64 %".133", %".135"
  %".137" = zext i8 0 to i64
  %".138" = shl i64 %".137", 56
  %".139" = or i64 %".136", %".138"
  %".140" = zext i64 %".139" to i128
  %".141" = udiv i128 %".117", %".140"
  %".142" = trunc i128 %".141" to i64
  %".143" = and i64 539932380, %"SymVar_0"
  %".144" = add i64 %".143", %".143"
  %".145" = xor i64 %"SymVar_0", 539932380
  %".146" = add i64 %".144", %".145"
  %".147" = and i64 %".142", %".146"
  %".148" = xor i64 %".147", -1
  %".149" = mul i64 %".142", 1
  %".150" = add i64 %".146", %".149"
  %".151" = add i64 0, %".150"
  %".152" = add i64 %".148", %".151"
  %".153" = add i64 %".152", 1
  %".154" = and i64 19032618, %"SymVar_0"
  %".155" = add i64 %".154", %".154"
  %".156" = xor i64 %"SymVar_0", 19032618
  %".157" = add i64 %".155", %".156"
  %".158" = zext i8 49 to i64
  %".159" = and i64 %".158", 63
  %".160" = lshr i64 %".142", %".159"
  %".161" = zext i8 15 to i64
  %".162" = and i64 %".161", 63
  %".163" = shl i64 %".142", %".162"
  %".164" = and i64 %".160", %".163"
  %".165" = xor i64 %".164", -1
  %".166" = mul i64 %".160", 1
  %".167" = add i64 %".163", %".166"
  %".168" = add i64 0, %".167"
  %".169" = add i64 %".165", %".168"
  %".170" = add i64 %".169", 1
  %".171" = xor i64 %"SymVar_0", -1
  %".172" = or i64 %".171", %".146"
  %".173" = add i64 %"SymVar_0", %".172"
  %".174" = add i64 %".173", 1
  %".175" = and i64 %".170", %".174"
  %".176" = add i64 %".175", %".175"
  %".177" = xor i64 %".174", %".170"
  %".178" = add i64 %".176", %".177"
  %".179" = and i64 %".157", %".178"
  %".180" = add i64 %".179", %".179"
  %".181" = xor i64 %".178", %".157"
  %".182" = add i64 %".180", %".181"
  %".183" = zext i8 1 to i64
  %".184" = and i64 %".183", 63
  %".185" = lshr i64 %".182", %".184"
  %".186" = xor i64 %".185", -1
  %".187" = or i64 %".186", 15
  %".188" = add i64 %".185", %".187"
  %".189" = add i64 %".188", 1
  %".190" = and i64 1, %".189"
  %".191" = xor i64 %".190", -1
  %".192" = mul i64 1, 1
  %".193" = add i64 %".189", %".192"
  %".194" = add i64 0, %".193"
  %".195" = add i64 %".191", %".194"
  %".196" = add i64 %".195", 1
  %".197" = xor i64 %".196", -1
  %".198" = add i64 %".197", 64
  %".199" = add i64 %".198", 1
  %".200" = trunc i64 %".199" to i32
  %".201" = zext i32 %".200" to i64
  %".202" = trunc i64 %".201" to i8
  %".203" = zext i8 %".202" to i64
  %".204" = and i64 %".203", 63
  %".205" = lshr i64 %".153", %".204"
  %".206" = xor i64 %".205", -1
  %".207" = xor i64 %".142", -1
  %".208" = and i64 %".207", %".146"
  %".209" = add i64 %".142", %".208"
  %".210" = and i64 %".157", %".178"
  %".211" = add i64 %".210", %".210"
  %".212" = xor i64 %".178", %".157"
  %".213" = add i64 %".211", %".212"
  %".214" = zext i8 1 to i64
  %".215" = and i64 %".214", 63
  %".216" = lshr i64 %".213", %".215"
  %".217" = xor i64 %".216", -1
  %".218" = or i64 %".217", 15
  %".219" = add i64 %".216", %".218"
  %".220" = add i64 %".219", 1
  %".221" = and i64 18446744073709551614, %".220"
  %".222" = add i64 1, %".221"
  %".223" = trunc i64 %".222" to i32
  %".224" = zext i32 %".223" to i64
  %".225" = trunc i64 %".224" to i8
  %".226" = zext i8 %".225" to i64
  %".227" = and i64 %".226", 63
  %".228" = shl i64 %".209", %".227"
  %".229" = and i64 %".206", %".228"
  %".230" = add i64 %".205", %".229"
  br label %".3.endif.endif.endif"
.3.endif.endif.else:
  %".232" = zext i64 %"SymVar_0" to i128
  %".233" = zext i64 0 to i128
  %".234" = shl i128 %".233", 64
  %".235" = or i128 %".232", %".234"
  %".236" = zext i8 7 to i64
  %".237" = zext i8 0 to i64
  %".238" = shl i64 %".237", 8
  %".239" = or i64 %".236", %".238"
  %".240" = zext i8 0 to i64
  %".241" = shl i64 %".240", 16
  %".242" = or i64 %".239", %".241"
  %".243" = zext i8 0 to i64
  %".244" = shl i64 %".243", 24
  %".245" = or i64 %".242", %".244"
  %".246" = zext i8 0 to i64
  %".247" = shl i64 %".246", 32
  %".248" = or i64 %".245", %".247"
  %".249" = zext i8 0 to i64
  %".250" = shl i64 %".249", 40
  %".251" = or i64 %".248", %".250"
  %".252" = zext i8 0 to i64
  %".253" = shl i64 %".252", 48
  %".254" = or i64 %".251", %".253"
  %".255" = zext i8 0 to i64
  %".256" = shl i64 %".255", 56
  %".257" = or i64 %".254", %".256"
  %".258" = zext i64 %".257" to i128
  %".259" = udiv i128 %".235", %".258"
  %".260" = trunc i128 %".259" to i64
  %".261" = xor i64 %".260", -1
  %".262" = and i64 19032618, %"SymVar_0"
  %".263" = add i64 %".262", %".262"
  %".264" = xor i64 %"SymVar_0", 19032618
  %".265" = add i64 %".263", %".264"
  %".266" = and i64 %".261", %".265"
  %".267" = add i64 %".260", %".266"
  %".268" = xor i64 %".267", -1
  %".269" = or i64 %".268", 31
  %".270" = add i64 %".267", %".269"
  %".271" = add i64 %".270", 1
  %".272" = zext i8 4 to i64
  %".273" = and i64 %".272", 63
  %".274" = shl i64 %".271", %".273"
  %".275" = xor i64 %".274", -1
  %".276" = zext i8 49 to i64
  %".277" = and i64 %".276", 63
  %".278" = lshr i64 %".260", %".277"
  %".279" = zext i8 15 to i64
  %".280" = and i64 %".279", 63
  %".281" = shl i64 %".260", %".280"
  %".282" = and i64 %".278", %".281"
  %".283" = xor i64 %".282", -1
  %".284" = mul i64 %".278", 1
  %".285" = add i64 %".281", %".284"
  %".286" = add i64 0, %".285"
  %".287" = add i64 %".283", %".286"
  %".288" = add i64 %".287", 1
  %".289" = xor i64 %"SymVar_0", -1
  %".290" = and i64 539932380, %"SymVar_0"
  %".291" = add i64 %".290", %".290"
  %".292" = xor i64 %"SymVar_0", 539932380
  %".293" = add i64 %".291", %".292"
  %".294" = or i64 %".289", %".293"
  %".295" = add i64 %"SymVar_0", %".294"
  %".296" = add i64 %".295", 1
  %".297" = and i64 %".288", %".296"
  %".298" = add i64 %".297", %".297"
  %".299" = xor i64 %".296", %".288"
  %".300" = add i64 %".298", %".299"
  %".301" = and i64 %".275", %".300"
  %".302" = add i64 %".274", %".301"
  %".303" = lshr i64 %".302", 32
  %".304" = trunc i64 %".303" to i8
  %".305" = zext i8 %".304" to i16
  %".306" = lshr i64 %".302", 40
  %".307" = trunc i64 %".306" to i8
  %".308" = zext i8 %".307" to i16
  %".309" = shl i16 %".308", 8
  %".310" = or i16 %".305", %".309"
  %".311" = zext i16 %".310" to i32
  %".312" = zext i32 %".311" to i64
  %".313" = trunc i64 %".312" to i16
  %".314" = zext i16 %".313" to i32
  %".315" = zext i32 %".314" to i64
  %".316" = trunc i64 %".315" to i16
  %".317" = zext i16 %".316" to i32
  %".318" = zext i32 %".317" to i64
  %".319" = trunc i64 %".318" to i16
  %".320" = zext i16 %".319" to i32
  %".321" = zext i32 %".320" to i64
  %".322" = trunc i64 %".321" to i16
  %".323" = trunc i16 %".322" to i8
  %".324" = zext i8 %".323" to i64
  %".325" = trunc i64 %".321" to i16
  %".326" = lshr i16 %".325", 8
  %".327" = trunc i16 %".326" to i8
  %".328" = zext i8 %".327" to i64
  %".329" = shl i64 %".328", 8
  %".330" = or i64 %".324", %".329"
  %".331" = lshr i64 %".302", 16
  %".332" = trunc i64 %".331" to i8
  %".333" = zext i8 %".332" to i64
  %".334" = shl i64 %".333", 16
  %".335" = or i64 %".330", %".334"
  %".336" = lshr i64 %".302", 24
  %".337" = trunc i64 %".336" to i8
  %".338" = zext i8 %".337" to i64
  %".339" = shl i64 %".338", 24
  %".340" = or i64 %".335", %".339"
  %".341" = trunc i64 %".302" to i8
  %".342" = zext i8 %".341" to i16
  %".343" = lshr i64 %".302", 8
  %".344" = trunc i64 %".343" to i8
  %".345" = zext i8 %".344" to i16
  %".346" = shl i16 %".345", 8
  %".347" = or i16 %".342", %".346"
  %".348" = zext i16 %".347" to i32
  %".349" = zext i32 %".348" to i64
  %".350" = trunc i64 %".349" to i16
  %".351" = zext i16 %".350" to i32
  %".352" = zext i32 %".351" to i64
  %".353" = trunc i64 %".352" to i16
  %".354" = trunc i16 %".353" to i8
  %".355" = zext i8 %".354" to i64
  %".356" = shl i64 %".355", 32
  %".357" = or i64 %".340", %".356"
  %".358" = trunc i64 %".352" to i16
  %".359" = lshr i16 %".358", 8
  %".360" = trunc i16 %".359" to i8
  %".361" = zext i8 %".360" to i64
  %".362" = shl i64 %".361", 40
  %".363" = or i64 %".357", %".362"
  %".364" = lshr i64 %".302", 48
  %".365" = trunc i64 %".364" to i8
  %".366" = zext i8 %".365" to i64
  %".367" = shl i64 %".366", 48
  %".368" = or i64 %".363", %".367"
  %".369" = lshr i64 %".302", 56
  %".370" = trunc i64 %".369" to i8
  %".371" = zext i8 %".370" to i64
  %".372" = shl i64 %".371", 56
  %".373" = or i64 %".368", %".372"
  %".374" = xor i64 %".373", -1
  %".375" = or i64 %".374", 15
  %".376" = add i64 %".373", %".375"
  %".377" = add i64 %".376", 1
  %".378" = zext i8 2 to i64
  %".379" = and i64 %".378", 63
  %".380" = shl i64 %".377", %".379"
  %".381" = and i64 %".380", %".293"
  %".382" = xor i64 %".381", -1
  %".383" = mul i64 %".380", 1
  %".384" = add i64 %".293", %".383"
  %".385" = add i64 0, %".384"
  %".386" = add i64 %".382", %".385"
  %".387" = add i64 %".386", 1
  %".388" = and i64 %".260", %".387"
  %".389" = xor i64 %".388", -1
  %".390" = mul i64 %".260", 1
  %".391" = add i64 %".387", %".390"
  %".392" = add i64 0, %".391"
  %".393" = add i64 %".389", %".392"
  %".394" = add i64 %".393", 1
  %".395" = xor i64 %".265", -1
  %".396" = or i64 %".395", 31
  %".397" = add i64 %".265", %".396"
  %".398" = add i64 %".397", 1
  %".399" = zext i8 3 to i64
  %".400" = and i64 %".399", 63
  %".401" = shl i64 %".398", %".400"
  %".402" = and i64 %".401", %".265"
  %".403" = xor i64 %".402", -1
  %".404" = mul i64 %".401", 1
  %".405" = add i64 %".265", %".404"
  %".406" = add i64 0, %".405"
  %".407" = add i64 %".403", %".406"
  %".408" = add i64 %".407", 1
  %".409" = zext i8 %".323" to i64
  %".410" = zext i8 %".327" to i64
  %".411" = shl i64 %".410", 8
  %".412" = or i64 %".409", %".411"
  %".413" = zext i8 %".332" to i64
  %".414" = shl i64 %".413", 16
  %".415" = or i64 %".412", %".414"
  %".416" = zext i8 %".337" to i64
  %".417" = shl i64 %".416", 24
  %".418" = or i64 %".415", %".417"
  %".419" = zext i8 %".354" to i64
  %".420" = shl i64 %".419", 32
  %".421" = or i64 %".418", %".420"
  %".422" = zext i8 %".360" to i64
  %".423" = shl i64 %".422", 40
  %".424" = or i64 %".421", %".423"
  %".425" = zext i8 %".365" to i64
  %".426" = shl i64 %".425", 48
  %".427" = or i64 %".424", %".426"
  %".428" = zext i8 %".370" to i64
  %".429" = shl i64 %".428", 56
  %".430" = or i64 %".427", %".429"
  %".431" = and i64 %".408", %".430"
  %".432" = add i64 %".431", %".431"
  %".433" = xor i64 %".430", %".408"
  %".434" = add i64 %".432", %".433"
  %".435" = zext i8 1 to i64
  %".436" = and i64 %".435", 63
  %".437" = lshr i64 %".434", %".436"
  %".438" = xor i64 %".437", -1
  %".439" = or i64 %".438", 15
  %".440" = add i64 %".437", %".439"
  %".441" = add i64 %".440", 1
  %".442" = and i64 1, %".441"
  %".443" = xor i64 %".442", -1
  %".444" = mul i64 1, 1
  %".445" = add i64 %".441", %".444"
  %".446" = add i64 0, %".445"
  %".447" = add i64 %".443", %".446"
  %".448" = add i64 %".447", 1
  %".449" = xor i64 %".448", -1
  %".450" = add i64 %".449", 64
  %".451" = add i64 %".450", 1
  %".452" = trunc i64 %".451" to i32
  %".453" = zext i32 %".452" to i64
  %".454" = trunc i64 %".453" to i8
  %".455" = zext i8 %".454" to i64
  %".456" = and i64 %".455", 63
  %".457" = lshr i64 %".394", %".456"
  %".458" = xor i64 %".457", -1
  %".459" = xor i64 %".260", -1
  %".460" = and i64 %".459", %".387"
  %".461" = add i64 %".260", %".460"
  %".462" = zext i8 %".323" to i64
  %".463" = zext i8 %".327" to i64
  %".464" = shl i64 %".463", 8
  %".465" = or i64 %".462", %".464"
  %".466" = zext i8 %".332" to i64
  %".467" = shl i64 %".466", 16
  %".468" = or i64 %".465", %".467"
  %".469" = zext i8 %".337" to i64
  %".470" = shl i64 %".469", 24
  %".471" = or i64 %".468", %".470"
  %".472" = zext i8 %".354" to i64
  %".473" = shl i64 %".472", 32
  %".474" = or i64 %".471", %".473"
  %".475" = zext i8 %".360" to i64
  %".476" = shl i64 %".475", 40
  %".477" = or i64 %".474", %".476"
  %".478" = zext i8 %".365" to i64
  %".479" = shl i64 %".478", 48
  %".480" = or i64 %".477", %".479"
  %".481" = zext i8 %".370" to i64
  %".482" = shl i64 %".481", 56
  %".483" = or i64 %".480", %".482"
  %".484" = and i64 %".408", %".483"
  %".485" = add i64 %".484", %".484"
  %".486" = xor i64 %".483", %".408"
  %".487" = add i64 %".485", %".486"
  %".488" = zext i8 1 to i64
  %".489" = and i64 %".488", 63
  %".490" = lshr i64 %".487", %".489"
  %".491" = xor i64 %".490", -1
  %".492" = or i64 %".491", 15
  %".493" = add i64 %".490", %".492"
  %".494" = add i64 %".493", 1
  %".495" = and i64 18446744073709551614, %".494"
  %".496" = add i64 1, %".495"
  %".497" = trunc i64 %".496" to i32
  %".498" = zext i32 %".497" to i64
  %".499" = trunc i64 %".498" to i8
  %".500" = zext i8 %".499" to i64
  %".501" = and i64 %".500", 63
  %".502" = shl i64 %".461", %".501"
  %".503" = and i64 %".458", %".502"
  %".504" = add i64 %".457", %".503"
  br label %".3.endif.endif.endif"
.3.endif.endif.endif:
  %".506" = phi i64 [%".230", %".3.endif.endif.if"], [%".504", %".3.endif.endif.else"]
  ret i64 %".506"
}
